| Uniform title | Journal of automated reasoning (Online) |
| Frequency | Eight issues yearly, 2009- |
| Access restriction | Available only to authorized users. |
| Special numbering | Some issues combined. |
| Other forms | Also available in print. |
| Technical details | Mode of access: World Wide Web. |
| Source of description | Vol. 1, issue 1, (Mar. 1985); title from journal information screen (viewed Jan. 25, 1998). |
| Source of description | Vol. 61, issue 1/4 (June 2018) (Springer Lnk, viewed Nov. 28, 2018). |
| Issued in other form | Print version: Journal of automated reasoning 0168-7433 |
| Genre/form | Electronic journals. |
| LCCN | 2004229180 |
| ISSN | 1573-0670 0168-7433 |
